退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:论克里德式语义学与证明量词的哥德尔证明谓词的可证明逻辑
Rostislav Yavorskiy;
机译:具有证明量词的Goedel证明谓词的可证明逻辑的Kripke风格语义
机译:真实算术逻辑逻辑证明理论
机译:Goedel-Loeb可证明性逻辑的循环证明
机译:布尔电路的逻辑锁定:可从防篡改存储器进行的基于硬件的混淆
机译:谓词模态逻辑的可计算性和证明理论的一些结果
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:关于Shimura对模态谓词逻辑的Oracle甲骨文消除和Kripke捆语义的评论:中期报告(后续计算和证明理论)
机译:需要利用认证系统访问设备,开放密钥证明获取方式和开放密钥证明无效验证方式以及存储和存储释放密钥证明获取程序存储装置来进行电子签名通信和密码通信的场合。并存储释放密钥证明无效验证程序存储空公钥加密,该空公共密钥加密存储认证系统访问程序和释放密钥证明
机译:高强度/极限系数的高强度钢板,高强度/极限系数的高强度冷轧钢板,高强度/极限系数的高强度镀锌钢板,高强度/高强度镀锌高强度钢板/终极因素,高强度/终极高强度退火浸镀锌钢板,高强度/终极高强度冷轧钢板制造方法,高强度浸镀锌钢板制造方法高强度/最终因子,以及高强度/最终因子的高强度退火浸镀锌钢板的制造方法
机译:底面材料的无机基防中毒,防水和防腐蚀涂料组合物,可在无底漆的情况下在含水量为100%的湿态下使用,并且可采用中性防水组成成分的防腐蚀和防腐蚀地板材料
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。